function* a() {
  yield (2e308);
}
